<html>
  <head>
    <script type="text/javascript">
     <!--
<?php
  $type=htmlspecialchars($_GET["type"]);
  $artifactId=htmlspecialchars($_GET["artifactId"]);
  $classifier=htmlspecialchars($_GET["classifier"]);
  $version=exec("../private/downloads/last.sh $artifactId " .  $type);
  $redirect="./download.php?artifactId=" . $artifactId . "&version=" . $version . "&classifier=" . $classifier;
  echo 'window.location ="' . $redirect .'"';
?>
     //-->
    </script>
  </head>
  <body>
    Descargando    <?php echo ' Descargando ' . $redirect
?>
  </body>
</html>

